-
1 inference-based algorithm
Вычислительная техника: алгоритм, основанный на логическом выводеУниверсальный англо-русский словарь > inference-based algorithm
-
2 inference-based algorithm
алгоритм, основанный на логическом выводеEnglish-Russian dictionary of computer science and programming > inference-based algorithm
-
3 inference-based algorithm
-
4 inference-based algorithm
алгоритм, основанный на логическом выводеEnglish-Russian information technology > inference-based algorithm
См. также в других словарях:
Метод изучения, исследования — Имена существительные АБСТРА/КЦИЯ, абстраги/рование, отвлече/ние, книжн. умозре/ние. Метод исследования, основанный на мысленном отвлечении от каких л. частных признаков, свойств и связей предмета, явления с целью выделения, обособления… … Словарь синонимов русского языка
АКСИОМАТИЧЕСКИЙ МЕТОД — АКСИОМАТИЧЕСКИЙ МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом). Этот метод является одной из основ математической науки: его использовали еще в древней Греции, а формализацию его… … Научно-технический энциклопедический словарь
дедукция — ДЕДУКЦИЯ1, и, ж Спец. Интеллектуальный процесс, представляющий собой движение мысли от общего к частному, в результате чего из общего выводятся частные положения; Ант.: индукция. Шерлок, придавший логике прелесть грезы, Шерлок, составивший… … Толковый словарь русских существительных
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
Зоммерфельд, Арнольд — Арнольд Зоммерфельд Arnold Sommerfeld Зоммерфельд в … Википедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия